Introduction à l'algorithmique des objets partagés

On the Formalization of Imperative Object-based Calculi in (Co)Inductive Type Theories

In this paper, we study the formalization of Abadi and Cardelli’s impς , a representative object-based calculus with types and side effects, in interactive proof assistants based on (Co)Inductive Type Theories, like Coq. In order to make the formal development of the theory of impς easier, we reformulate its static and dynamic semantics taking most advantage of the features provided by CC, the ...

Contributions à l'algorithmique détendue et à la résolution des systèmes polynomiaux. (Contributions to relaxed algorithms and polynomial system solving)

Etude des caractéristiques projectives des objets spatiaux et de leurs relations

RÉSUMÉ. L’espace projectif a été peu exploré dans la caractérisation des objets spatiaux et de leurs relations. Ce travail présente les résultats d’une démarche « projective » concernant la forme des objets spatiaux et les relations binaires et ternaires entre objets. En offrant un cadre mathématique formel à une description qualitative de la forme des objets ainsi qu’à des relations telles que...

ILOG : vingt ans dans les objets, rétro et perspectives

De nombreux fronts se sont ouverts, souvent complémentaires. Front de la programmation : des objets lispiens tels que LeLisp et son inévitable MicroCeyx à Java et C#. Front de la modélisation et du raisonnement : de la première génération de systèmes centrés objets tels Kool, Smeci, FRL ou Sherpa aux règles métiers et aux modèles ontologiques tels que promus par le W3C. Front du Génie Logiciel ...

Apprentissage de règles floues pour caractériser des objets d'intérêt dans une image de télédétection

Résumé. Les nouveaux capteurs satellitaires permettent l’acquisition d’images d’un très haut niveau de détail à des cadences élevés, produisant ainsi une importante masse de données. Le traitement manuel de ces données étant devenu impossible, de nouveaux outils sont nécessaires afin de les traiter automatiquement. Dans ce cadre, des algorithmes de segmentation efficaces sont nécessaires pour e...